<?php

class DBException extends Exception {

}

?>